$\forall$$A$, $B$:Type, $b$:$B$, $a$:$A$. strong{-}subtype($B$;$A$) $\Rightarrow$ \{($b$ = $a$ $\in$ $A$) $\Rightarrow$ ($b$ = $a$ $\in$ $B$)\}